1. $b$ : $\mathbb{B}$ \\[0ex]2. $\neg$($\uparrow$$b$) \\[0ex]$\vdash$ $b$ = ff